((ENSCINT00000023011,ENSCINT00000031032),ENSCSAVT00000012120);